ALGOL 60
形式的な定義が与えられた最初のプログラミング言語
IBM Laboratory Vienna